翻訳と辞書 Words near each other ・ Modage ・ Modak ・ Modak Sagar ・ Modak, Rajasthan ・ Modakeke ・ Modakkurichi (State Assembly Constituency) ・ Modakurichi ・ Modakurichi block ・ Modal ・ Modal (textile) ・ Modal algebra ・ Modal analysis ・ Modal analysis using FEM ・ Modal bandwidth ・ Modal case ・ Modal companion ・ Modal depth ・ Modal dispersion ・ Modal fictionalism ・ Modal frame ・ Modal haplotype ・ Modal jazz ・ Modal logic ・ Modal matrix ・ Modal operator ・ Modal particle ・ Modal property ・ Modal realism ・ Modal scope fallacy ・ Modal share Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Modal companion ： ウィキペディア英語版 Modal companion In logic, a modal companion of a superintuitionistic (intermediate) logic ''L'' is a normal modal logic which interprets ''L'' by a certain canonical translation, described below. Modal companions share various properties of the original intermediate logic, which enables to study intermediate logics using tools developed for modal logic. ==Gödel–McKinsey–Tarski translation== Let ''A'' be a propositional intuitionistic formula. A modal formula ''T''(''A'') is defined by induction on the complexity of ''A'': :$T(p)=\backslash Box\; p$ for any propositional variable $p$, :$T(\backslash bot)=\backslash bot,$ :$T(A\backslash land\; B)=T(A)\backslash land\; T(B),$ :$T(A\backslash lor\; B)=T(A)\backslash lor\; T(B),$ :$T(A\backslash to\; B)=\backslash Box(T(A)\backslash to\; T(B)).$ As negation is in intuitionistic logic defined by $A\backslash to\backslash bot$, we also have :$T(\backslash neg\; A)=\backslash Box\backslash neg\; T(A).$ ''T'' is called the Gödel translation or Gödel–McKinsey–Tarski translation. The translation is sometimes presented in slightly different ways: for example, one may insert $\backslash Box$ before every subformula. All such variants are provably equivalent in S4. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Modal companion」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.